Merge pull request #2655 from nikita-dubrovskii/sdboot_rename
authorJonathan Lebon <jonathan@jlebon.com>
Fri, 24 Jun 2022 16:49:50 +0000 (12:49 -0400)
committerGitHub <noreply@github.com>
Fri, 24 Jun 2022 16:49:50 +0000 (12:49 -0400)
commit40703cad56484e45e54300c84e4f7b4d7388f168
tree2d6dc20111ebb09be676f7ab07cce19c4629ab31
parent502ad96af222e9653e696b32e87b2730209fa336
parent14a7c0c74bc080bbe8529c8645b895c118b83d9a
Merge pull request #2655 from nikita-dubrovskii/sdboot_rename